Перевод: со всех языков на все языки

со всех языков на все языки

machine abstract

См. также в других словарях:

  • Abstract Machine Notation — (AMN) is a specification language and (abstract) programming language for specifying abstract machines in the B Method, based on the mathematical theory of Generalised Substitutions.Referencesee also* Formal methods * Formal specification …   Wikipedia

  • Machine (disambiguation) — Machine can refer to: * Machine, a device that performs a task * Rube Goldberg machine, an especially elaborate or complex device * abstract machine * Political machine, ex. Cook County Democratic Organization * The Machine, a muscle car made by… …   Wikipedia

  • Machine à différences — Machine analytique Reproduction moderne de la Machine analytique de Charles Babbage, fabriquée en 1992 pour le Musée des Sciences de Londres La machine analytique (analytical engine en anglais) est une machine de calcul inventée et créée en 1834… …   Wikipédia en Français

  • Machine Translations — is the recording and touring name of J Walker, an Australian singer, songwriter and multi instrumentalist. J Walker started out recording all instruments himself in a home studio, but has now branched out to include a band in his recent works.… …   Wikipedia

  • Abstract machine — An abstract machine, also called an abstract computer, is a theoretical model of a computer hardware or software system used in Automata theory. Abstraction of computing processes is used in both the computer science and computer engineering… …   Wikipedia

  • Abstract state machines — In computer science, an abstract state machine (ASM) is a state machine in which the number of states need not be finite and in which the states are not mere points in the state space. More precisely, an ASM state is a structure in the sense of… …   Wikipedia

  • Abstract State Machine — Eine abstrakte Zustandsmaschine (englisch Abstract State Machine (ASM), ehemals auch Evolving Algebra (EVA) genannt), ist in der Informatik ein Modell zur formalen, operationellen Beschreibung von Algorithmen. Anders als bei endlichen Automaten,… …   Deutsch Wikipedia

  • Machine abstraite de Warren — Warren s Abstract Machine La Warren s Abstract Machine (Machine abstraite de Warren) est une machine virtuelle permettant d implémenter le langage Prolog. Cette machine est composée d un jeu d instructions spécial ainsi que d une mémoire. Elle a… …   Wikipédia en Français

  • Abstract State Machines — Eine abstrakte Zustandsmaschine (englisch Abstract State Machine (ASM), ehemals auch Evolving Algebra (EVA) genannt), ist in der Informatik ein Modell zur formalen, operationalen Beschreibung von Algorithmen. Anders als bei endlichen Automaten,… …   Deutsch Wikipedia

  • Abstract type — This article discusses types with no direct members; see also Abstract data type. In software engineering, an abstract type is a type in a nominative type system which is declared by the programmer, and which has the property that it contains no… …   Wikipedia

  • Abstract Syntax Notation One — In telecommunications and computer networking, Abstract Syntax Notation One (ASN.1) is a standard and flexible notation that describes data structures for representing, encoding, transmitting, and decoding data. It provides a set of formal rules… …   Wikipedia

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»